Completeness and consistency analysis for evolving knowledge bases
نویسندگان
چکیده
منابع مشابه
Consistency of scientific knowledge bases
The Plinius-project at the University of Twente is aimed at constructing large-scale knowledge bases in scientific and engineering domains, through computer analysis of natural-language texts. One of the many problems in this endeavor is caused by inconsistencies in the scientific literature. In this short report (of which a fuller version is available [de Jong, 1992]) we describe our approach ...
متن کاملChecking an Expert Systems Knowledge Base for Consistency and Completeness
In t h i s paper we desor ibe a program t h a t v e r i f i e s t he oons is tenoy and completeness of exper t system knowledge bases whioh u t i l i z e t he Lookheed Expert System (LES) framework. The a l g o r i t h m s desor ibed here are not s p e c i f i c to LES and oan be a p p l i e d to most r u l e -based systems. The program, o a l l e d CHECK, combines l o g i o a l p r i n c i p l...
متن کاملConsistency and Completeness of OMEGA, a Logic for Knowledge Representation
I I n t r o d u c t i o n Omega is a description system developed for knowledge representation and reasoning (10). Omega is a calculus of Ascriptions rather then a ceteufua of predicetes as ordinary logic. The concept of description in logic, and in particular of definite descriptions, can be traced back to the works by Frege and by Russell (15]. Logicians have always been bothered by the seman...
متن کاملCompleteness and Consistency Analysis of UML
This paper describes methods and tools for automatic safety analysis of UML statechart specifications. Two types of analysis are presented. The first one checks completeness and consistency based on the static structure of the specification, thus it does not requires the generation of the reachability graph. Accordingly, this method scales up well to large systems. The second one performs dynam...
متن کاملConsistency-Based Diagnosis of Configuration Knowledge Bases
Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Web Semantics
سال: 2019
ISSN: 1570-8268
DOI: 10.1016/j.websem.2018.11.004